翻訳と辞書
Words near each other
・ radio-frequency identification
・ radiosity
・ radius
・ radix
・ raid
・ rail
・ rain dance
・ rainbow series
・ rais
・ raise
raise specification language
・ ral
・ ram
・ ram disk
・ ram drive
・ rambus dram
・ rambus, inc.
・ ramdac
・ ramis ii
・ ramtron


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

raise specification language : FOLDOC
RAISE Specification Language
(RSL) (RAISE = Rigorous Approach to Industrial Software Engineering). A wide-spectrum specification and design language developed by ESPRIT Project 315 at {CRI} A/S, Denmark. Systems may be modular, concurrent and nondeterministic. Specifications may be {applicative} or imperative, explicit or implicit, abstract or concrete.
["The RAISE Specification Language", RAISE Language Group, P-H 1992, ISBN 0-13-752833-7].
(2007-10-02)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.